Nachweis von extrahirtem Thee durch Sublimation

Nachweis von kategorialer Identifikation durch adäquate Reproduktion von natürlichsprachlichen Signalen in phonetischen Hörtests

Formaler Nachweis der Fehlertoleranz von Schaltkreisen

While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...

Astree: Nachweis der Abwesenheit von Laufzeit

Interpretation Based Static Analyzers. In

Analyse von Programmieraufgaben durch Softwareproduktmetriken

Softwareentwicklung kann über Kennzahlen, die durch den Einsatz von Metriken erhoben werden, beobachtet und bewertet werden. Dabei kann sowohl das entwickelte Softwareprodukt als auch der Entwicklungsprozess Ziel der Beobachtung und Bewertung sein (Conte u. a., 1986). Der Einsatz von Metriken wird vielfach kritisch diskutiert: Auf der einen Seite steht die Aussage, dass ohne Messung keine Kontr...

Indexierung von Datenbankinhalten durch Suchmaschinen

In Datenbanken enthaltene Informationen machen einen Gro teil des im WWW vorhan denen Wissens aus In den meisten F allen sind diese Informationen in dynamisch generierte WWW Seiten eingebunden so da sie von den aktuellen Suchmaschinen nicht indexiert werden k onnen Im Projekt SWING wurden verschiedene L osungen zur Integration von Da tenbanken entwickelt Ein bereits realisierter Ansatz nutzt lo...